Presentations of finite simple groups: profinite and cohomological approaches
نویسندگان
چکیده
We prove the following three closely related results: (1) Every finite simple group G has a profinite presentation with 2 generators and at most 18 relations. (2) If G is a finite simple group, F a field and M is an FG-module, then dim H.G;M/ .17:5/ dim M . (3) If G is a finite group, F a field and M is an irreducible faithful FG-module, then dim H.G;M/ .18:5/ dim M . Mathematics Subject Classification (2000). 20F05, 20J06, 20D05, 20C20.
منابع مشابه
Normal subgroups of profinite groups of finite cohomological dimension
We study a profinite group G of finite cohomological dimension with (topologically) finitely generated closed normal subgroup N . If G is pro-p and N is either free as a pro-p group or a Poincaré group of dimension 2 or analytic pro-p, we show that G/N has virtually finite cohomological dimension cd(G) − cd(N). Some other cases when G/N has virtually finite cohomological dimension are considere...
متن کاملProfinite and pro-p completions of Poincaré duality groups of dimension 3
We establish some sufficient conditions for the profinite and prop completions of an abstract group G of type FPm (resp of finite cohomological dimension, of finite Euler characteristics) to be of type FPm over the field Fp for a fixed natural prime p (resp. of finite cohomological p-dimension, of finite Euler p-characteristics). We apply our methods for orientable Poincaré duality groups G of ...
متن کاملProfinite groups, profinite completions and a conjecture of Moore
Let R be any ring (with 1), Γ a group and RΓ the corresponding group ring. Let H be a subgroup of Γ of finite index. Let M be an RΓ−module, whose restriction to RH is projective. Moore’s conjecture [5]: Assume for every nontrivial element x in Γ, at least one of the following two conditions holds: M1) 〈x〉 ∩ H 6= {e} (in particular this holds if Γ is torsion free) M2) ord(x) is finite and invert...
متن کاملAn Analogue of Brumer’s Criterion for Hypercohomology Groups and Class Formations
The aim of this paper is to obtain a criterion determining the strict cohomological dimension of a profinite group. The strict cohomological dimension of a profinite group G, written scdpG, is the smallest integer n such that the p-primary component of Hn+1(G,M) vanishes for all discrete G-modules M , where p is a prime number. There is also the notion of cohomological dimension of G, denoted b...
متن کاملDescribing Finite Groups by Short First-order Sentences
We say that a class of finite structures for a finite signature is r-compressible if each structure G in the class has a first-order description of size at most O(r(|G|)). We show that the class of finite simple groups is log-compressible, and the class of all finite groups is log-compressible. The result relies on the classification of finite simple groups, the bi-interpretability of the small...
متن کامل